; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = zext i8 5 to i64
  %".5" = and i64 %".4", 63
  %".6" = lshr i64 %"SymVar_0", %".5"
  %".7" = xor i64 810798164723513605, %".6"
  %".8" = sub i64 %"SymVar_0", 275339905
  %".9" = add i64 %".7", %".8"
  %".10" = add i64 %".9", %".6"
  %".11" = add i64 %".10", %"SymVar_0"
  %".12" = sext i64 %".11" to i128
  %".13" = sext i64 %".6" to i128
  %".14" = mul i128 %".12", %".13"
  %".15" = trunc i128 %".14" to i64
  %".16" = and i64 7, %".15"
  %".17" = zext i8 2 to i64
  %".18" = and i64 %".17", 63
  %".19" = shl i64 %".16", %".18"
  %".20" = or i64 %".19", %".6"
  %".21" = sext i64 %".6" to i128
  %".22" = sext i64 1015975030 to i128
  %".23" = mul i128 %".21", %".22"
  %".24" = trunc i128 %".23" to i64
  %".25" = and i64 7, %".24"
  %".26" = or i64 1, %".25"
  %".27" = trunc i64 %".26" to i8
  %".28" = zext i8 %".27" to i64
  %".29" = and i64 %".28", 63
  %".30" = lshr i64 %"SymVar_0", %".29"
  %".31" = zext i8 4 to i64
  %".32" = and i64 %".31", 63
  %".33" = lshr i64 %".9", %".32"
  %".34" = and i64 15, %".33"
  %".35" = or i64 1, %".34"
  %".36" = sub i64 64, %".35"
  %".37" = trunc i64 %".36" to i8
  %".38" = zext i8 %".37" to i64
  %".39" = and i64 %".38", 63
  %".40" = lshr i64 %".30", %".39"
  %".41" = zext i8 4 to i64
  %".42" = and i64 %".41", 63
  %".43" = lshr i64 %".9", %".42"
  %".44" = and i64 15, %".43"
  %".45" = or i64 1, %".44"
  %".46" = trunc i64 %".45" to i8
  %".47" = zext i8 %".46" to i64
  %".48" = and i64 %".47", 63
  %".49" = shl i64 %".30", %".48"
  %".50" = or i64 %".40", %".49"
  %".51" = and i64 15, %".50"
  %".52" = zext i8 3 to i64
  %".53" = and i64 %".52", 63
  %".54" = shl i64 %".51", %".53"
  %".55" = or i64 %".54", %".9"
  %".56" = and i64 15, %".55"
  %".57" = or i64 1, %".56"
  %".58" = sub i64 64, %".57"
  %".59" = trunc i64 %".58" to i8
  %".60" = zext i8 %".59" to i64
  %".61" = and i64 %".60", 63
  %".62" = lshr i64 %".20", %".61"
  %".63" = and i64 15, %".55"
  %".64" = or i64 1, %".63"
  %".65" = trunc i64 %".64" to i8
  %".66" = zext i8 %".65" to i64
  %".67" = and i64 %".66", 63
  %".68" = shl i64 %".20", %".67"
  %".69" = or i64 %".62", %".68"
  %".70" = zext i8 3 to i64
  %".71" = and i64 %".70", 63
  %".72" = lshr i64 %".30", %".71"
  %".73" = and i64 15, %".72"
  %".74" = or i64 1, %".73"
  %".75" = sub i64 64, %".74"
  %".76" = trunc i64 %".75" to i8
  %".77" = zext i8 %".76" to i64
  %".78" = and i64 %".77", 63
  %".79" = lshr i64 %".11", %".78"
  %".80" = zext i8 3 to i64
  %".81" = and i64 %".80", 63
  %".82" = lshr i64 %".30", %".81"
  %".83" = and i64 15, %".82"
  %".84" = or i64 1, %".83"
  %".85" = trunc i64 %".84" to i8
  %".86" = zext i8 %".85" to i64
  %".87" = and i64 %".86", 63
  %".88" = shl i64 %".11", %".87"
  %".89" = or i64 %".79", %".88"
  %".90" = sub i64 %".69", %".89"
  %".91" = xor i64 %".89", %".90"
  %".92" = xor i64 %".69", %".91"
  %".93" = xor i64 %".69", %".90"
  %".94" = xor i64 %".69", %".89"
  %".95" = and i64 %".93", %".94"
  %".96" = xor i64 %".92", %".95"
  %".97" = lshr i64 %".96", 63
  %".98" = trunc i64 %".97" to i1
  %".99" = icmp eq i64 %".90", 0
  br i1 %".99", label %".3.if", label %".3.else"
.3.if:
  br label %".3.endif"
.3.else:
  br label %".3.endif"
.3.endif:
  %".103" = phi i1 [1, %".3.if"], [0, %".3.else"]
  %".104" = or i1 %".98", %".103"
  %".105" = icmp eq i1 %".104", 1
  br i1 %".105", label %".3.endif.if", label %".3.endif.else"
.3.endif.if:
  br label %".3.endif.endif"
.3.endif.else:
  br label %".3.endif.endif"
.3.endif.endif:
  %".109" = phi i8 [1, %".3.endif.if"], [0, %".3.endif.else"]
  %".110" = zext i8 %".109" to i64
  %".111" = lshr i64 %".89", 8
  %".112" = trunc i64 %".111" to i56
  %".113" = zext i56 %".112" to i64
  %".114" = shl i64 %".113", 8
  %".115" = or i64 %".110", %".114"
  %".116" = trunc i64 %".115" to i8
  %".117" = zext i8 %".116" to i32
  %".118" = zext i32 %".117" to i64
  %".119" = trunc i64 %".118" to i32
  %".120" = zext i32 %".119" to i64
  %".121" = trunc i64 %".120" to i32
  %".122" = trunc i64 %".120" to i32
  %".123" = and i32 %".121", %".122"
  %".124" = icmp eq i32 %".123", 0
  br i1 %".124", label %".3.endif.endif.if", label %".3.endif.endif.else"
.3.endif.endif.if:
  br label %".3.endif.endif.endif"
.3.endif.endif.else:
  br label %".3.endif.endif.endif"
.3.endif.endif.endif:
  %".128" = phi i1 [1, %".3.endif.endif.if"], [0, %".3.endif.endif.else"]
  %".129" = icmp eq i1 %".128", 1
  br i1 %".129", label %".3.endif.endif.endif.if", label %".3.endif.endif.endif.else"
.3.endif.endif.endif.if:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.else:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.endif:
  %".133" = phi i1 [1, %".3.endif.endif.endif.if"], [0, %".3.endif.endif.endif.else"]
  br i1 %".133", label %".3.endif.endif.endif.endif.if", label %".3.endif.endif.endif.endif.else"
.3.endif.endif.endif.endif.if:
  %".135" = zext i8 5 to i64
  %".136" = and i64 %".135", 63
  %".137" = lshr i64 %"SymVar_0", %".136"
  %".138" = sext i64 %".137" to i128
  %".139" = sext i64 1015975030 to i128
  %".140" = mul i128 %".138", %".139"
  %".141" = trunc i128 %".140" to i64
  %".142" = and i64 7, %".141"
  %".143" = or i64 1, %".142"
  %".144" = trunc i64 %".143" to i8
  %".145" = zext i8 %".144" to i64
  %".146" = and i64 %".145", 63
  %".147" = lshr i64 %"SymVar_0", %".146"
  %".148" = xor i64 810798164723513605, %".137"
  %".149" = sub i64 %"SymVar_0", 275339905
  %".150" = add i64 %".148", %".149"
  %".151" = zext i8 4 to i64
  %".152" = and i64 %".151", 63
  %".153" = lshr i64 %".150", %".152"
  %".154" = and i64 15, %".153"
  %".155" = or i64 1, %".154"
  %".156" = sub i64 64, %".155"
  %".157" = trunc i64 %".156" to i8
  %".158" = zext i8 %".157" to i64
  %".159" = and i64 %".158", 63
  %".160" = lshr i64 %".147", %".159"
  %".161" = zext i8 4 to i64
  %".162" = and i64 %".161", 63
  %".163" = lshr i64 %".150", %".162"
  %".164" = and i64 15, %".163"
  %".165" = or i64 1, %".164"
  %".166" = trunc i64 %".165" to i8
  %".167" = zext i8 %".166" to i64
  %".168" = and i64 %".167", 63
  %".169" = shl i64 %".147", %".168"
  %".170" = or i64 %".160", %".169"
  %".171" = and i64 15, %".170"
  %".172" = zext i8 3 to i64
  %".173" = and i64 %".172", 63
  %".174" = shl i64 %".171", %".173"
  %".175" = or i64 %".174", %".150"
  %".176" = and i64 15, %".175"
  %".177" = zext i8 3 to i64
  %".178" = and i64 %".177", 63
  %".179" = shl i64 %".176", %".178"
  %".180" = or i64 %".179", %".175"
  %".181" = trunc i64 %".180" to i8
  %".182" = zext i8 %".181" to i32
  %".183" = lshr i64 %".180", 8
  %".184" = trunc i64 %".183" to i8
  %".185" = zext i8 %".184" to i32
  %".186" = shl i32 %".185", 8
  %".187" = or i32 %".182", %".186"
  %".188" = lshr i64 %".180", 16
  %".189" = trunc i64 %".188" to i8
  %".190" = zext i8 %".189" to i32
  %".191" = shl i32 %".190", 16
  %".192" = or i32 %".187", %".191"
  %".193" = lshr i64 %".180", 24
  %".194" = trunc i64 %".193" to i8
  %".195" = zext i8 %".194" to i32
  %".196" = shl i32 %".195", 24
  %".197" = or i32 %".192", %".196"
  %".198" = zext i32 %".197" to i64
  %".199" = trunc i64 %".198" to i32
  %".200" = zext i32 %".199" to i64
  %".201" = trunc i64 %".200" to i32
  %".202" = zext i32 %".201" to i64
  %".203" = trunc i64 %".202" to i32
  %".204" = zext i32 %".203" to i64
  %".205" = trunc i64 %".204" to i32
  %".206" = zext i32 %".205" to i64
  %".207" = trunc i64 %".206" to i32
  %".208" = zext i32 %".207" to i64
  %".209" = trunc i64 %".208" to i32
  %".210" = zext i32 %".209" to i64
  %".211" = trunc i64 %".210" to i32
  %".212" = zext i32 %".211" to i64
  %".213" = trunc i64 %".212" to i32
  %".214" = trunc i32 %".213" to i8
  %".215" = zext i8 %".214" to i64
  %".216" = trunc i64 %".212" to i32
  %".217" = lshr i32 %".216", 8
  %".218" = trunc i32 %".217" to i8
  %".219" = zext i8 %".218" to i64
  %".220" = shl i64 %".219", 8
  %".221" = or i64 %".215", %".220"
  %".222" = trunc i64 %".212" to i32
  %".223" = lshr i32 %".222", 16
  %".224" = trunc i32 %".223" to i8
  %".225" = zext i8 %".224" to i64
  %".226" = shl i64 %".225", 16
  %".227" = or i64 %".221", %".226"
  %".228" = trunc i64 %".212" to i32
  %".229" = lshr i32 %".228", 24
  %".230" = trunc i32 %".229" to i8
  %".231" = zext i8 %".230" to i64
  %".232" = shl i64 %".231", 24
  %".233" = or i64 %".227", %".232"
  %".234" = lshr i64 %".180", 32
  %".235" = trunc i64 %".234" to i8
  %".236" = zext i8 %".235" to i32
  %".237" = lshr i64 %".180", 40
  %".238" = trunc i64 %".237" to i8
  %".239" = zext i8 %".238" to i32
  %".240" = shl i32 %".239", 8
  %".241" = or i32 %".236", %".240"
  %".242" = lshr i64 %".180", 48
  %".243" = trunc i64 %".242" to i8
  %".244" = zext i8 %".243" to i32
  %".245" = shl i32 %".244", 16
  %".246" = or i32 %".241", %".245"
  %".247" = lshr i64 %".180", 56
  %".248" = trunc i64 %".247" to i8
  %".249" = zext i8 %".248" to i32
  %".250" = shl i32 %".249", 24
  %".251" = or i32 %".246", %".250"
  %".252" = zext i32 %".251" to i64
  %".253" = trunc i64 %".252" to i32
  %".254" = zext i32 %".253" to i64
  %".255" = trunc i64 %".254" to i32
  %".256" = zext i32 %".255" to i64
  %".257" = trunc i64 %".256" to i32
  %".258" = zext i32 %".257" to i64
  %".259" = trunc i64 %".258" to i32
  %".260" = trunc i32 %".259" to i8
  %".261" = zext i8 %".260" to i64
  %".262" = shl i64 %".261", 32
  %".263" = or i64 %".233", %".262"
  %".264" = trunc i64 %".258" to i32
  %".265" = lshr i32 %".264", 8
  %".266" = trunc i32 %".265" to i8
  %".267" = zext i8 %".266" to i64
  %".268" = shl i64 %".267", 40
  %".269" = or i64 %".263", %".268"
  %".270" = trunc i64 %".258" to i32
  %".271" = lshr i32 %".270", 16
  %".272" = trunc i32 %".271" to i8
  %".273" = zext i8 %".272" to i64
  %".274" = shl i64 %".273", 48
  %".275" = or i64 %".269", %".274"
  %".276" = trunc i64 %".258" to i32
  %".277" = lshr i32 %".276", 24
  %".278" = trunc i32 %".277" to i8
  %".279" = zext i8 %".278" to i64
  %".280" = shl i64 %".279", 56
  %".281" = or i64 %".275", %".280"
  %".282" = add i64 %".150", %".137"
  %".283" = add i64 %".282", %"SymVar_0"
  %".284" = sext i64 %".283" to i128
  %".285" = sext i64 %".137" to i128
  %".286" = mul i128 %".284", %".285"
  %".287" = trunc i128 %".286" to i64
  %".288" = and i64 7, %".287"
  %".289" = zext i8 2 to i64
  %".290" = and i64 %".289", 63
  %".291" = shl i64 %".288", %".290"
  %".292" = or i64 %".291", %".137"
  %".293" = lshr i64 %".292", 56
  %".294" = trunc i64 %".293" to i8
  %".295" = zext i8 %".294" to i32
  %".296" = zext i32 %".295" to i64
  %".297" = trunc i64 %".296" to i8
  %".298" = zext i8 %".297" to i32
  %".299" = zext i32 %".298" to i64
  %".300" = trunc i64 %".299" to i8
  %".301" = zext i8 %".300" to i32
  %".302" = zext i32 %".301" to i64
  %".303" = trunc i64 %".302" to i8
  %".304" = zext i8 %".303" to i32
  %".305" = zext i32 %".304" to i64
  %".306" = trunc i64 %".305" to i8
  %".307" = zext i8 %".306" to i64
  %".308" = lshr i64 %".292", 8
  %".309" = trunc i64 %".308" to i8
  %".310" = zext i8 %".309" to i64
  %".311" = shl i64 %".310", 8
  %".312" = or i64 %".307", %".311"
  %".313" = lshr i64 %".292", 16
  %".314" = trunc i64 %".313" to i8
  %".315" = zext i8 %".314" to i64
  %".316" = shl i64 %".315", 16
  %".317" = or i64 %".312", %".316"
  %".318" = lshr i64 %".292", 24
  %".319" = trunc i64 %".318" to i8
  %".320" = zext i8 %".319" to i64
  %".321" = shl i64 %".320", 24
  %".322" = or i64 %".317", %".321"
  %".323" = lshr i64 %".292", 32
  %".324" = trunc i64 %".323" to i8
  %".325" = zext i8 %".324" to i64
  %".326" = shl i64 %".325", 32
  %".327" = or i64 %".322", %".326"
  %".328" = lshr i64 %".292", 40
  %".329" = trunc i64 %".328" to i8
  %".330" = zext i8 %".329" to i64
  %".331" = shl i64 %".330", 40
  %".332" = or i64 %".327", %".331"
  %".333" = lshr i64 %".292", 48
  %".334" = trunc i64 %".333" to i8
  %".335" = zext i8 %".334" to i64
  %".336" = shl i64 %".335", 48
  %".337" = or i64 %".332", %".336"
  %".338" = trunc i64 %".292" to i8
  %".339" = zext i8 %".338" to i32
  %".340" = zext i32 %".339" to i64
  %".341" = trunc i64 %".340" to i8
  %".342" = zext i8 %".341" to i32
  %".343" = zext i32 %".342" to i64
  %".344" = trunc i64 %".343" to i8
  %".345" = zext i8 %".344" to i64
  %".346" = shl i64 %".345", 56
  %".347" = or i64 %".337", %".346"
  %".348" = sub i64 %".281", %".347"
  %".349" = or i64 %".147", %".348"
  %".350" = and i64 63, %".348"
  %".351" = zext i8 4 to i64
  %".352" = and i64 %".351", 63
  %".353" = shl i64 %".350", %".352"
  %".354" = zext i8 %".306" to i64
  %".355" = zext i8 %".309" to i64
  %".356" = shl i64 %".355", 8
  %".357" = or i64 %".354", %".356"
  %".358" = zext i8 %".314" to i64
  %".359" = shl i64 %".358", 16
  %".360" = or i64 %".357", %".359"
  %".361" = zext i8 %".319" to i64
  %".362" = shl i64 %".361", 24
  %".363" = or i64 %".360", %".362"
  %".364" = zext i8 %".324" to i64
  %".365" = shl i64 %".364", 32
  %".366" = or i64 %".363", %".365"
  %".367" = zext i8 %".329" to i64
  %".368" = shl i64 %".367", 40
  %".369" = or i64 %".366", %".368"
  %".370" = zext i8 %".334" to i64
  %".371" = shl i64 %".370", 48
  %".372" = or i64 %".369", %".371"
  %".373" = zext i8 %".344" to i64
  %".374" = shl i64 %".373", 56
  %".375" = or i64 %".372", %".374"
  %".376" = or i64 %".353", %".375"
  %".377" = zext i8 %".214" to i64
  %".378" = zext i8 %".218" to i64
  %".379" = shl i64 %".378", 8
  %".380" = or i64 %".377", %".379"
  %".381" = zext i8 %".224" to i64
  %".382" = shl i64 %".381", 16
  %".383" = or i64 %".380", %".382"
  %".384" = zext i8 %".230" to i64
  %".385" = shl i64 %".384", 24
  %".386" = or i64 %".383", %".385"
  %".387" = zext i8 %".260" to i64
  %".388" = shl i64 %".387", 32
  %".389" = or i64 %".386", %".388"
  %".390" = zext i8 %".266" to i64
  %".391" = shl i64 %".390", 40
  %".392" = or i64 %".389", %".391"
  %".393" = zext i8 %".272" to i64
  %".394" = shl i64 %".393", 48
  %".395" = or i64 %".392", %".394"
  %".396" = zext i8 %".278" to i64
  %".397" = shl i64 %".396", 56
  %".398" = or i64 %".395", %".397"
  %".399" = zext i8 2 to i64
  %".400" = and i64 %".399", 63
  %".401" = lshr i64 %".398", %".400"
  %".402" = and i64 7, %".401"
  %".403" = or i64 1, %".402"
  %".404" = trunc i64 %".403" to i8
  %".405" = zext i8 %".404" to i64
  %".406" = and i64 %".405", 63
  %".407" = shl i64 %".376", %".406"
  %".408" = add i64 %".349", %".407"
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.else:
  %".410" = zext i8 5 to i64
  %".411" = and i64 %".410", 63
  %".412" = lshr i64 %"SymVar_0", %".411"
  %".413" = xor i64 810798164723513605, %".412"
  %".414" = sub i64 %"SymVar_0", 275339905
  %".415" = add i64 %".413", %".414"
  %".416" = add i64 %".415", %".412"
  %".417" = add i64 %".416", %"SymVar_0"
  %".418" = sext i64 %".417" to i128
  %".419" = sext i64 %".412" to i128
  %".420" = mul i128 %".418", %".419"
  %".421" = trunc i128 %".420" to i64
  %".422" = and i64 7, %".421"
  %".423" = zext i8 2 to i64
  %".424" = and i64 %".423", 63
  %".425" = shl i64 %".422", %".424"
  %".426" = or i64 %".425", %".412"
  %".427" = sub i64 %".426", %".417"
  %".428" = and i64 31, %".427"
  %".429" = zext i8 3 to i64
  %".430" = and i64 %".429", 63
  %".431" = shl i64 %".428", %".430"
  %".432" = sext i64 %".412" to i128
  %".433" = sext i64 1015975030 to i128
  %".434" = mul i128 %".432", %".433"
  %".435" = trunc i128 %".434" to i64
  %".436" = and i64 7, %".435"
  %".437" = or i64 1, %".436"
  %".438" = trunc i64 %".437" to i8
  %".439" = zext i8 %".438" to i64
  %".440" = and i64 %".439", 63
  %".441" = lshr i64 %"SymVar_0", %".440"
  %".442" = or i64 %".431", %".441"
  %".443" = zext i8 4 to i64
  %".444" = and i64 %".443", 63
  %".445" = lshr i64 %".415", %".444"
  %".446" = and i64 15, %".445"
  %".447" = or i64 1, %".446"
  %".448" = sub i64 64, %".447"
  %".449" = trunc i64 %".448" to i8
  %".450" = zext i8 %".449" to i64
  %".451" = and i64 %".450", 63
  %".452" = lshr i64 %".441", %".451"
  %".453" = zext i8 4 to i64
  %".454" = and i64 %".453", 63
  %".455" = lshr i64 %".415", %".454"
  %".456" = and i64 15, %".455"
  %".457" = or i64 1, %".456"
  %".458" = trunc i64 %".457" to i8
  %".459" = zext i8 %".458" to i64
  %".460" = and i64 %".459", 63
  %".461" = shl i64 %".441", %".460"
  %".462" = or i64 %".452", %".461"
  %".463" = and i64 15, %".462"
  %".464" = zext i8 3 to i64
  %".465" = and i64 %".464", 63
  %".466" = shl i64 %".463", %".465"
  %".467" = or i64 %".466", %".415"
  %".468" = trunc i64 %".467" to i8
  %".469" = zext i8 %".468" to i32
  %".470" = lshr i64 %".467", 8
  %".471" = trunc i64 %".470" to i8
  %".472" = zext i8 %".471" to i32
  %".473" = shl i32 %".472", 8
  %".474" = or i32 %".469", %".473"
  %".475" = lshr i64 %".467", 16
  %".476" = trunc i64 %".475" to i8
  %".477" = zext i8 %".476" to i32
  %".478" = shl i32 %".477", 16
  %".479" = or i32 %".474", %".478"
  %".480" = lshr i64 %".467", 24
  %".481" = trunc i64 %".480" to i8
  %".482" = zext i8 %".481" to i32
  %".483" = shl i32 %".482", 24
  %".484" = or i32 %".479", %".483"
  %".485" = zext i32 %".484" to i64
  %".486" = trunc i64 %".485" to i32
  %".487" = zext i32 %".486" to i64
  %".488" = trunc i64 %".487" to i32
  %".489" = zext i32 %".488" to i64
  %".490" = trunc i64 %".489" to i32
  %".491" = zext i32 %".490" to i64
  %".492" = trunc i64 %".491" to i32
  %".493" = zext i32 %".492" to i64
  %".494" = trunc i64 %".493" to i32
  %".495" = zext i32 %".494" to i64
  %".496" = trunc i64 %".495" to i32
  %".497" = zext i32 %".496" to i64
  %".498" = trunc i64 %".497" to i32
  %".499" = zext i32 %".498" to i64
  %".500" = trunc i64 %".499" to i32
  %".501" = trunc i32 %".500" to i8
  %".502" = zext i8 %".501" to i64
  %".503" = trunc i64 %".499" to i32
  %".504" = lshr i32 %".503", 8
  %".505" = trunc i32 %".504" to i8
  %".506" = zext i8 %".505" to i64
  %".507" = shl i64 %".506", 8
  %".508" = or i64 %".502", %".507"
  %".509" = trunc i64 %".499" to i32
  %".510" = lshr i32 %".509", 16
  %".511" = trunc i32 %".510" to i8
  %".512" = zext i8 %".511" to i64
  %".513" = shl i64 %".512", 16
  %".514" = or i64 %".508", %".513"
  %".515" = trunc i64 %".499" to i32
  %".516" = lshr i32 %".515", 24
  %".517" = trunc i32 %".516" to i8
  %".518" = zext i8 %".517" to i64
  %".519" = shl i64 %".518", 24
  %".520" = or i64 %".514", %".519"
  %".521" = lshr i64 %".467", 32
  %".522" = trunc i64 %".521" to i8
  %".523" = zext i8 %".522" to i32
  %".524" = lshr i64 %".467", 40
  %".525" = trunc i64 %".524" to i8
  %".526" = zext i8 %".525" to i32
  %".527" = shl i32 %".526", 8
  %".528" = or i32 %".523", %".527"
  %".529" = lshr i64 %".467", 48
  %".530" = trunc i64 %".529" to i8
  %".531" = zext i8 %".530" to i32
  %".532" = shl i32 %".531", 16
  %".533" = or i32 %".528", %".532"
  %".534" = lshr i64 %".467", 56
  %".535" = trunc i64 %".534" to i8
  %".536" = zext i8 %".535" to i32
  %".537" = shl i32 %".536", 24
  %".538" = or i32 %".533", %".537"
  %".539" = zext i32 %".538" to i64
  %".540" = trunc i64 %".539" to i32
  %".541" = zext i32 %".540" to i64
  %".542" = trunc i64 %".541" to i32
  %".543" = zext i32 %".542" to i64
  %".544" = trunc i64 %".543" to i32
  %".545" = zext i32 %".544" to i64
  %".546" = trunc i64 %".545" to i32
  %".547" = trunc i32 %".546" to i8
  %".548" = zext i8 %".547" to i64
  %".549" = shl i64 %".548", 32
  %".550" = or i64 %".520", %".549"
  %".551" = trunc i64 %".545" to i32
  %".552" = lshr i32 %".551", 8
  %".553" = trunc i32 %".552" to i8
  %".554" = zext i8 %".553" to i64
  %".555" = shl i64 %".554", 40
  %".556" = or i64 %".550", %".555"
  %".557" = trunc i64 %".545" to i32
  %".558" = lshr i32 %".557", 16
  %".559" = trunc i32 %".558" to i8
  %".560" = zext i8 %".559" to i64
  %".561" = shl i64 %".560", 48
  %".562" = or i64 %".556", %".561"
  %".563" = trunc i64 %".545" to i32
  %".564" = lshr i32 %".563", 24
  %".565" = trunc i32 %".564" to i8
  %".566" = zext i8 %".565" to i64
  %".567" = shl i64 %".566", 56
  %".568" = or i64 %".562", %".567"
  %".569" = and i64 31, %".467"
  %".570" = zext i8 4 to i64
  %".571" = and i64 %".570", 63
  %".572" = shl i64 %".569", %".571"
  %".573" = or i64 %".572", %".426"
  %".574" = sub i64 %".568", %".573"
  %".575" = or i64 %".442", %".574"
  %".576" = and i64 63, %".574"
  %".577" = zext i8 4 to i64
  %".578" = and i64 %".577", 63
  %".579" = shl i64 %".576", %".578"
  %".580" = or i64 %".579", %".573"
  %".581" = zext i8 %".501" to i64
  %".582" = zext i8 %".505" to i64
  %".583" = shl i64 %".582", 8
  %".584" = or i64 %".581", %".583"
  %".585" = zext i8 %".511" to i64
  %".586" = shl i64 %".585", 16
  %".587" = or i64 %".584", %".586"
  %".588" = zext i8 %".517" to i64
  %".589" = shl i64 %".588", 24
  %".590" = or i64 %".587", %".589"
  %".591" = zext i8 %".547" to i64
  %".592" = shl i64 %".591", 32
  %".593" = or i64 %".590", %".592"
  %".594" = zext i8 %".553" to i64
  %".595" = shl i64 %".594", 40
  %".596" = or i64 %".593", %".595"
  %".597" = zext i8 %".559" to i64
  %".598" = shl i64 %".597", 48
  %".599" = or i64 %".596", %".598"
  %".600" = zext i8 %".565" to i64
  %".601" = shl i64 %".600", 56
  %".602" = or i64 %".599", %".601"
  %".603" = zext i8 2 to i64
  %".604" = and i64 %".603", 63
  %".605" = lshr i64 %".602", %".604"
  %".606" = and i64 7, %".605"
  %".607" = or i64 1, %".606"
  %".608" = trunc i64 %".607" to i8
  %".609" = zext i8 %".608" to i64
  %".610" = and i64 %".609", 63
  %".611" = shl i64 %".580", %".610"
  %".612" = add i64 %".575", %".611"
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.endif:
  %".614" = phi i64 [%".408", %".3.endif.endif.endif.endif.if"], [%".612", %".3.endif.endif.endif.endif.else"]
  ret i64 %".614"
}
